A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·1d
✓Automated Theorem Proving
Parameters and binding forms should be mutually recursive
samestep.com·3h·
Discuss: Hacker News
🐫OCaml
Fil's Unbelievable Garbage Collector
fil-c.org·18h·
Discuss: Lobsters, Hacker News, r/programming
🔧Unikernel Development
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
arxiv.org·1d
🧠Automated Reasoning
Observability’s Overlooked Fourth Pillar: Key for Agentic AI
thenewstack.io·1d
👁️System Observability
Type Checking is a Symptom, Not a Solution
programmingsimplicity.substack.com·13h·
Discuss: Substack
🐫Embedded OCaml
The (sometimes rocky) road to a paper
lmao.bearblog.dev·1d·
Discuss: Hacker News
🧮Lambda Calculus
Matmul on Blackwell: Part 2 – Using Hardware Features to Optimize Matmul
modular.com·42m·
Discuss: Hacker News
🔧Unikernel Development
IL-SLAM: Intelligent Line-assisted SLAM Based on Feature Awareness for Dynamic Environments
arxiv.org·1d
🔄Finite State Machines
The capacity limits of moving objects in the imagination
nature.com·2h·
Discuss: Hacker News
🏹Effect Systems
The Angels and Demons of Nondeterminism
buttondown.com·1d·
Discuss: Hacker News
🧮Lambda Calculus
Disciplined AI Software Development: Structured Method for Generative Programming
github.com·1d·
Discuss: r/programming
🤖Program Synthesis
My AI Vibes are Shifting
lesswrong.com·3h
🧠Automated Reasoning
The Aider Local Model Experience
hexeditreality.com·3h·
Discuss: Hacker News
🛡️seL4
Protobuffers Are Wrong
reasonablypolymorphic.com·3h·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
The Mighty Simplex
galileo-unbound.blog·49m·
Discuss: Hacker News
🏹Effect Systems
NVIDIA Dynamo LLM Inference Framework
multimodalai.substack.com·5h·
Discuss: Substack
🔧Unikernel Development
Are We SOLID Yet? An Empirical Study on Prompting LLMs to Detect Design Principle Violations
arxiv.org·1d
🎮Verification Games
InvisiCaps: The Fil-C capability model
fil-c.org·1d·
Discuss: Hacker News
🐫Embedded OCaml
Blue – ecosystem to scale KV store to an exabyte in the open source world
github.com·1d·
Discuss: Hacker News
🔬Unikernels